航天嵌入式软件数组越界缺陷特征研究

根据统计,数组越界是航天嵌入式软件开发过程中出现最多且最容易被遗漏的缺陷类型之一.目前自动化检测数组越界多基于抽象解释、符号执行、程序模型检验等方法,这些方法在误报、漏报、可扩展性等方面的表现依赖于软件及缺陷特征.分析了近三年航天嵌入式软件第三方测试中发现的94个数组越界问题,从缺陷模式和缺陷表现形式两方面分析得出10项航天嵌入式软件数组越界缺陷特征,并提出对设计具体检测方法关键的若干启示.进一步基于这些特征和启示探讨了数组越界检测算法针对中断驱动型程序的改进方向.     

自动测试系统集中互连信号优化设计

基于对自动测试系统被测设备的信号种类及数量的分析,构建了被测对象测试信号数学模型,分析了不同测试模式下的测试资源需求情况,并从提高测试系统性价比这一基本原则出发,提出了自动测试系统硬件平台测试资源优化配置的理论计算方法,对自动测试系统的工程设计具有指导意义。     

空间实验室大面积太阳电池阵技术研究

介绍了空间实验室大面积太阳电池阵的方案构型，并进行了模态分析、热结构耦合分析和动力学仿真分析。生产出了全尺寸的集成演示样机，进行了展开试验、主展开机构的模态试验，以及半刚性太阳电池板和二自由度驱动机构的振动试验。计算和试验结果表明，技术方案是可行的。     

数据库开放对象的一般结构和操作

为了更精确地模拟客观世界，减少软件生成的复杂性，本文提出开放对象的数据模型，使其自身具有自组织、自我进化的能力，实质是面向对象＋人工智能＋数据库的一个模型。本文讨论了它的一般结构，开放对象的集合在子开放对象关系下构成有向图，并在对其加以适当限制做成偏序格的基础上，定义了一组开放对象的基本操作。     

光纤连接器端面研磨的技术关键

简要地介绍了连接器的生产中最关键的研磨工艺，对研磨工艺流程，研磨质量跟踪表和研磨质量指标通过实际生产过程进行研究。而且利用跟踪记录的研磨数据，并根据研磨质量的指标，找出一套最佳的研磨工艺。从而生产出高质量的连接器。     

飞机外形件三角网格模型光滑B样条曲面重建

综合考虑曲面重建时的拟合精度、曲面片拼接处的连续性和曲面的光顺性等因素,以三角网格模型的双三次B样条曲面重建为例,研究了飞机外形件三角网格模型的分片光滑B样条曲面重建方法。该方法首先采用最小二乘法逼近散乱数据,初步获得分片B样条曲面;然后将光顺准则加权到最小二乘函数中调节曲面光顺程度;最后运用罚函数法保证曲面片边界近似G1连续。将该方法应用于飞机外形件实测数据的曲面重建,误差分析结果验证了方法的有效性。     

小升阻比载人飞船返回舱的外形设计

载人飞船返回舱的外形设计要满足稳定性、操纵性、配平升阻比、最大过载、最大热流、最大总加热量、机动能力、着陆精度和容积系数等要求。小升阻比返回舱的形状以球冠倒锥形为最优。文中简要地介绍了返回舱外形的选择方法，对球冠钝度、倒锥角、大头拐角相对曲率半径、长细比和最大横截面直径等主要参数的选择作了研究，得出了定性与定量的分析结果。     

神经网络在未来超分辨雷达中的应用

最新的技术发展已为研制超分辨雷达创造了条件。它能够突破普通雷达基于匹配滤波原理的分辨能力,而实现超分辨。超分辨雷达的巨大计算量通常来自求解非线性最小二乘问题时的多维搜索。本文针对这一问题,研究了雷达信号处理中的两个典型例子:(1)利用阵列处理检测个数已知而方向未知的雷达目标;(2)对波音727飞机进行超分辨距离多普勒成像。说明Hop-field神经网络通过集体运算能够求解各种困难的最优化问题,因而在未来的超分辨雷达中有广阔的应用前景。     

低轨卫星面阵凝视成像技术研究

文章介绍了面阵凝视成像的工作原理及特点，阐述了低轨卫星对地观测凝视成像面临的像移问题及其解决措施，对像移补偿装置与二维指向机构的结合做了初步探讨。